用户的问题涉及将原题设条件“函数 \(f(x)\) 在 \(x = 0\) 处连续”改为“在 \(x = 0\) 邻域有定义”（即存在 \(\delta > 0\)，使得当 \(|x| < \delta\) 时 \(f(x)\) 有定义，包括 \(f(0)\))，并询问在修改后条件下，四个选项哪些正确，以及错误选项能否举出反例。用户还进一步探讨了“连续”条件的作用，并指出在连续条件下，四个选项都能推出 \(f(x)\) 在 \(x = 0\) 处可导。
以下分两部分解答： 1. 当条件为“在 \(x = 0\) 邻域有定义”（无连续性）时：分析四个选项，并给出错误选项的反例。 2. 当条件为“在 \(x = 0\) 处连续”时：解释连续性的作用，并验证四个选项是否都能推出可导性。
在此条件下，函数在 \(x = 0\) 附近有定义，但不一定连续（即 \(\lim_{x \to 0} f(x)\) 不一定等于 \(f(0)\)。分析四个选项，结论是：所有四个选项均不成立，即它们都不能保证 \(f(x)\) 在 \(x = 0\) 处可导（甚至不一定连续）。以下是详细分析和反例。
在 \(x = 0\) 处：
\(f(x)\) 不连续（因为 \(\lim_{x \to 0} f(x) = -1 \neq f(0) = 1\))，故不可导。
导数极限为
$\(
\lim_{x \to 0} \frac{f(x) - f(0)}{x} = \lim_{x \to 0} \frac{-1 - 1}{x} = \lim_{x \to 0} \frac{-2}{x},
\)$
- 尝试的其他函数：
- 若 f(0)=0 且 f(x)=x2 ，则极限存在且可导（不适用反例）。
- 若 f(0)=1 ，f(x)=1+x （x=0 )，则极限存在且可导（不适用反例）。
结论：错误（不能推出可导）。
反例：
定义函数
$\(
f(x) =
\begin{cases}
-1, & x = 0 \\
1, & x \neq 0
\end{cases}
\)\(
该函数在 \)|x| < 1$ 的邻域内有定义。
尝试的其他函数：
结论：错误（不能推出可导）。
反例：
定义函数
$\(
f(x) =
\begin{cases}
1, & x = 0 \\
x^2, & x \neq 0
\end{cases}
\)\(
该函数在 \)|x| < 1$ 的邻域内有定义。
尝试的其他函数：
用户指出，在连续条件下，四个选项都能推出可导。这里验证这一结论，并解释连续性的作用。
设 \(f(x)\) 在 \(x = 0\) 处连续（即 \(\lim_{x \to 0} f(x) = f(0)\))。分析每个选项，证明若极限存在，则 \(f(x)\) 在 \(x = 0\) 处可导。
(1) \(\lim_{x \to 0} \frac{|f(x)| - f(0)}{x}\) 存在
- 由连续性，\(f(0)\) 固定。分析：
- 若 \(f(0) < 0\)，则 \(|f(0)| = -f(0)\)，且存在邻域 \(f(x) < 0\)，所以 \(|f(x)| = -f(x)\)。分子 \(|f(x)| - f(0) = -f(x) - f(0) \to -f(0) - f(0) = -2f(0) > 0\)（因为 \(f(0) < 0\))，而分母 \(x \to 0\)，故极限不可能存在（趋于无穷）。因此，极限存在时必有 \(f(0) \geq 0\)。
- 若 \(f(0) > 0\)，存在邻域 \(f(x) > 0\)，所以 \(|f(x)| = f(x)\)，极限化为 \(\lim_{x \to 0} \frac{f(x) - f(0)}{x}\)，存在即意味着 \(f\) 在 0 处可导。
- 若 \(f(0) = 0\)，极限为 \(\lim_{x \to 0} \frac{|f(x)|}{x}\)。由连续性，\(f(x) \to 0\)。极限存在必为 0（因为左/右极限符号约束），且 \(\left| \frac{f(x)}{x} \right| \leq \left| \frac{|f(x)|}{x} \right| \to 0\)，故 \(\lim_{x \to 0} \frac{f(x)}{x} = 0\)，即 \(f'(0) = 0\)。
- 结论：极限存在时，\(f\) 在 0 处可导。
(2) \(\lim_{x \to 0} \frac{f(x) - |f(0)|}{x}\) 存在
- 由连续性：
- 若 \(f(0) < 0\)，则 \(|f(0)| = -f(0)\)，分子 \(f(x) - |f(0)| = f(x) + f(0) \to f(0) + f(0) = 2f(0) < 0 \neq 0\)，分母 \(x \to 0\)，极限不可能存在。因此，极限存在时必有 \(f(0) \geq 0\)。
- 若 \(f(0) \geq 0\)，则 \(|f(0)| = f(0)\)，极限化为 \(\lim_{x \to 0} \frac{f(x) - f(0)}{x}\)，存在即意味着 \(f\) 在 0 处可导。
- 结论：极限存在时，\(f\) 在 0 处可导。
(3) \(\lim_{x \to 0} \frac{|f(x)|}{x}\) 存在
- 由连续性，\(|f(x)| \to |f(0)|\)。若 \(f(0) \neq 0\)，则 \(|f(x)| \to |f(0)| \neq 0\)，而分母 \(x \to 0\)，故极限不可能存在（趋于无穷）。因此，极限存在时必有 \(f(0) = 0\)。
- 此时，极限为 \(\lim_{x \to 0} \frac{|f(x)|}{x}\)。同选项 (1) 的 \(f(0) = 0\) 情形，极限存在必为 0，且推出 \(\lim_{x \to 0} \frac{f(x)}{x} = 0\)，即 \(f'(0) = 0\)。
- 结论：极限存在时，\(f\) 在 0 处可导（且导数为 0）。
(4) \(\lim_{x \to 0} \frac{|f(x)| - |f(0)|}{x}\) 存在
- 令 \(g(x) = |f(x)|\)。由 \(f\) 连续，\(g\) 也连续，且 \(g(0) = |f(0)|\)。
- 极限即 \(\lim_{x \to 0} \frac{g(x) - g(0)}{x}\)，存在意味着 \(g\) 在 0 处可导。
- 但需证明 \(f\) 可导：
- 若 \(f(0) > 0\)，存在邻域 \(f(x) > 0\)，所以 \(g(x) = f(x)\)，\(g\) 可导即 \(f\) 可导。
- 若 \(f(0) < 0\)，存在邻域 \(f(x) < 0\)，所以 \(g(x) = -f(x)\)，极限化为
$\(
\lim_{x \to 0} \frac{-f(x) - (-f(0))}{x} = \lim_{x \to 0} \frac{-(f(x) - f(0))}{x} = - \lim_{x \to 0} \frac{f(x) - f(0)}{x},
\)\(
存在即意味着 \)f\( 在 0 处可导。
- 若 \)f(0) = 0\(，同选项 (3)，极限存在推出 \)f’(0) = 0\(。
- **结论**：极限存在时，\)f$ 在 0 处可导。
| 条件 | 选项 | 是否正确 | 说明 |
|---|---|---|---|
| 在 0 邻域有定义（无连续性） | (1) | ❌ 错误 | 反例：\(f(x) = \begin{cases} 1 & x=0 \\ -1 & x \neq 0 \end{cases}\) |
| (2) | ❌ 错误 | 反例：\(f(x) = \begin{cases} -1 & x=0 \\ 1 & x \neq 0 \end{cases}\) | |
| (3) | ❌ 错误 | 反例：\(f(x) = \begin{cases} 1 & x=0 \\ x^2 & x \neq 0 \end{cases}\) | |
| (4) | ❌ 错误 | 反例：同 (1) | |
| 在 \(x=0\) 处连续 | (1) | ✅ 正确 | 极限存在 ⇒ \(f\) 可导 |
| (2) | ✅ 正确 | 极限存在 ⇒ \(f\) 可导 | |
| (3) | ✅ 正确 | 极限存在 ⇒ \(f\) 可导（且 \(f'(0)=0\)) | |
| (4) | ✅ 正确 | 极限存在 ⇒ \(f\) 可导 |